fromY(identity): B => A